-
Théorème
Théorème de Krull :
- soit \(R\) un anneau commutatif et néothérien
- soit \(I\) un idéal propre de \(R\)
- soit \(x\in R\) tel que \(x\notin I\)
$$\Huge\iff$$
- il existe un idéal premier \(P\) tel que $$x\notin P\quad\text{ et }\quad I\subseteq P$$
(
Noéthérianité,
Idéal propre,
Idéal premier)
-